Theorem

With product defined as function composition, products of linear maps are associative, distribuive, and interacts with the identity in the following way:

${latex.inlineTI = IT = T} where the first I is the identity operator on V and the second is the identity operator in W.

Note that the identity operator is the linear map on some vector space that takes each element to itself. ${latex.inlineIv = v}.